Daftar koLeksi mikro perpustakaan PDIN
Lembaga Ilmu Pengetahuan Indonesia. Pusat Dokumentasi Ilmiah Nasional.
Jakarta : Pusat Dokumentasi Ilmiah Nasional, 1982.
Indeks laporan penelitian dan survei
Lembaga Ilmu Pengetahuan Indonesia. Pusat Dokumentasi Ilmiah Nasional.
Jakarta : Lembaga Ilmu Pengetahuan Indonesia, Pusat Dokumentasi Ilmiah Nasional, 1980-1982.